home *** CD-ROM | disk | FTP | other *** search
- <?xml version="1.0"?>
- <?xml-stylesheet href="chrome://webdeveloper/content/options/options.css" type="text/css"?>
-
- <!DOCTYPE page SYSTEM "chrome://webdeveloper/locale/options.dtd">
-
- <page onload="parent.webdeveloper_initializeGeneral()"
- xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
-
- <groupbox>
- <caption label="&webdeveloper.general.caption;"/>
- <checkbox id="webdeveloper.context.hide" label="&webdeveloper.context.hide;"/>
- <checkbox id="webdeveloper.menu.hide" label="&webdeveloper.menu.hide;"/>
- <checkbox id="webdeveloper.confirmation.dialogs.hide" label="&webdeveloper.confirmation.dialogs.hide;"/>
- <checkbox id="webdeveloper.informational.dialogs.hide" label="&webdeveloper.informational.dialogs.hide;"/>
- <separator/>
- <hbox align="center">
- <label control="webdeveloper.toolbar.icons" value="&webdeveloper.toolbar.icons;"/>
- <menulist id="webdeveloper.toolbar.icons">
- <menupopup>
- <menuitem label="&webdeveloper.icons.text;" value="full"/>
- <menuitem label="&webdeveloper.icons;" value="icons"/>
- <menuitem label="&webdeveloper.text;" value="text"/>
- </menupopup>
- </menulist>
- </hbox>
- </groupbox>
- <groupbox>
- <caption label="&webdeveloper.tabs.windows.caption;"/>
- <checkbox id="webdeveloper.open.tabs" label="&webdeveloper.open.tabs;" oncommand="parent.webdeveloper_updateTabOptionStatus()"/>
- <checkbox id="webdeveloper.open.tabs.background" class="indent" label="&webdeveloper.open.tabs.background;"/>
- </groupbox>
- <separator/>
- <hbox>
- <button label="&webdeveloper.options.reset;" oncommand="parent.webdeveloper_resetOptions()"/>
- <spacer flex="1"/>
- </hbox>
- </page>